You are looking at the HTML representation of the XML format.
HTML is good for debugging, but is unsuitable for application use.
Specify the format parameter to change the output format.
To see the non HTML representation of the XML format, set format=xml.
See the complete documentation, or API help for more information. 
<?xml version="1.0"?>
<api>
  <query>
    <pages>
      <page ns="0" title="API" missing="" />
      <page pageid="1" ns="0" title="Main Page">
        <revisions>
          <rev user="Iosif" timestamp="2014-12-30T09:31:51Z" comment="Undo revision 9175 by [[Special:Contributions/MaryellToussaint|MaryellToussaint]] ([[User talk:MaryellToussaint|talk]])" contentformat="text/x-wiki" contentmodel="wikitext" xml:space="preserve">== VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries) ==


The growing need for automated services in our fast-going society demands for increasingly complex software artifacts. To tackle this complexity, most programming languages offer Application Programming Interfaces (API) allowing software developers to use abstract data structures (sets, maps, stacks, queues, etc.), known as containers. This project aims at defining scalable program analyses based on modular views of programs, at two levels of abstraction: (1) a high level view, in which data containers are black boxes, handled via abstract specification contracts, and (2) a low level view of the implementation of containers as recursive data structures. We plan to develop (a) decision procedures for logics able to describe complex data structures, (b) verification tools based on model checking and static analysis, and (c) techniques for automatic generation of refinement relations between specifications and implementations. We plan to carry out experiments on industrial test cases.


[[File:Containers.001.jpg|right]]

* [[News]]
* [[Jobs]]
* [[Meetings]]
* [[Funding]]
* [[Partners]]
* [[Deliverables]]
* [[Publications]]
* [[Software]]
* [[Related Projects]]</rev>
        </revisions>
      </page>
    </pages>
  </query>
</api>